home *** CD-ROM | disk | FTP | other *** search
/ PD Collection CD 1 / PD Collection CD 1.iso / programer2 / sml / !Sml_Sml_core_barra < prev    next >
Encoding:
Text File  |  1990-07-04  |  547 b   |  14 lines
  1. (* RJG - for loading into smlcore *)
  2.     nonfix Array_array 103 2;
  3.     infix  3 Array_sub 9 2;
  4.     nonfix Array_update 25 3; 
  5.     nonfix Array_length 104 1; 
  6.     nonfix Array_arrayoflist 121 1;
  7.  
  8.     fun Array_array(n:int, init: '_weak): '_weak array = Array_array(n,init)
  9.  
  10.     fun (x: 'a array) Array_sub (y:int) = (x Array_sub y): 'a
  11.     fun Array_update(x: 'a array, y:int, z: 'a):unit = Array_update(x,y,z)
  12.     fun Array_arrayoflist(x: '_weak list): '_weak array = Array_arrayoflist(x);
  13.     fun Array_length(x: 'a array):int = Array_length(x);
  14.